Search Results
Bartosz Milewski - Truth about Types (Lambda Days 2016)
Opening keynote - Fun with categories - Bartosz Milewski
A Crash Course in Category Theory - Bartosz Milewski
Tomas Petricek - History and Philosophy of types (Lambda Days 2016)
Bruce Tate - Things that Matter (Lambda Days 2016 )
Programming with algebras - Bartosz Milewski
Bartosz Milewski. Categories for the Working C++ Programmer
Philip Wadler - Propositions as Types (Lambda Days 2016)
Lambda Days 2018 - Philip Wadler - Categories for the Working Hacker
Bartosz Milewski - Programming with Math | Øredev 2018
F(by) 2017. Bartosz Milewski - A Crash Course in Category Theory.
Keynote: Functorio - having fun with functional programming - Bartosz Milewski | Lambda Days 2021
